摘要。量子电路汇编包括许多计算 - 尽管如此,#p及其在pp中的决策对应物中仍然存在许多硬性推理任务。一般量子电路的经典模拟是一个核心示例。我们第一次表明,可以通过加权模型计数来很好地解决通用量子电路的强大模拟,从而通过提供CLI效率+t电路的线性编码。为了实现这一目标,我们利用Knill,Gottes-Mann和Aaronson利用稳定器形式主义,并且稳定器指出的事实构成了密度运算符的基础。使用开源模拟器实现,我们从经验上证明,基于ZX计算和决策图的模型计数通常优于状态模拟技术。我们的工作为应用现有强大的经典推理工具阵列铺平了道路,以实现有效的量子电路汇编;通往量子至高无上的道路上的障碍之一。